Section: Partnerships and Cooperations

European Initiatives

Collaborations in European Programs, Except FP7 & H2020

• Program: COST

• Project acronym: EUTypes

• Project title: The European research network on types for programming and verification (EUTypes)

• Coordinator: Prof. Herman Geuvers, Radboud University, The Netherlands

• Abstract:This COST Action will give a strong impetus to research on type theory and its many applications in computer science, by promoting (1) the synergy between theoretical computer scientists, logicians and mathematicians to develop new foundations for type theory, for example as based on the recent development of "homotopy type theory”, (2) the joint development of type theoretic tools as proof assistants and integrated programming environments, (3) the study of dependent types for programming and its deployment in software development, (4) the study of dependent types for verification and its deployment in software analysis and verification. The action will also tie together these different areas and promote cross-fertilisation.

Collaborations with Major European Organizations

• Partner 1: MPI Bochum, Gilles Barthe, Germany

• Formally verified cryptography